Security Analysis of Smart Grids

An attack graph is a beneficial tool to network defenders, demonstrating the routes that an attacker can utilize acquire entry target network. Cyber-attacks endanger security of smart grids as result presence vulnerabilities in diversified structural units establishing it. This paper introduces new built using Python language and Jupyter Notebook enumerate for grid. The grid formally presented implemented, determining system design, links, weaknesses, resources, potential instances, their pre- post-conditions. utilized automatically determine sequence form counterexample. It constructs counterexamples, encodes those requirement loosening, iterates up until all sequences are disclosed. Then, causing disruption grid’s workflow graphically visualized.